widget-factory: Add a discontinuous GtkScale with marks
authorCarlos Soriano <carlos.sorian89@gmail.com>
Fri, 5 Dec 2014 10:09:56 +0000 (11:09 +0100)
committerCarlos Soriano <carlos.sorian89@gmail.com>
Fri, 5 Dec 2014 12:23:05 +0000 (13:23 +0100)
commiteec9a743041cbecd33bdacfdf01e148600091189
tree97e9e004b3bda902ef4433f8b1c56142bba12504
parent042117b7bfaad63fad44a1b37506b55e9b79c8ce
widget-factory: Add a discontinuous GtkScale with marks

So designers can tweak the marks and developers can see how a
discontinuos scale is implemented.

https://bugzilla.gnome.org/show_bug.cgi?id=741117
demos/widget-factory/widget-factory.ui